        <ul>
          <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline/">Core API</a></li>
          <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline-io/">IO API</a></li>
          <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline-prompts/">Prompts API</a></li>
          <li><a href="#">Help Modules</a>
            <ul>
              <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline-help-man/">Man Help</a></li>
              <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline-help-markdown/">Markdown Help</a></li>
              <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline-help-html/">HTML Help</a></li>
              <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline-help-bash/">Bash Help</a></li>
              <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline-help-external/">External Help</a></li>
            </ul>
          </li>
          <li><a href="{{ site.baseurl }}/javadoc/{{ include.version }}/airline-jpms-resources/">JPMS Resource Locator</a></li>
        </ul>
